Minimality conditions on circularly ordered structures
نویسندگان
چکیده
We explore analogues of o-minimality and weak o-minimality for circularly ordered sets. Much of the theory goes through almost unchanged, since over a parameter the circular order yields a definable linear order. Working over ∅ there are differences. Our main result is a structure theory for ℵ 0-categorical weakly circularly minimal structures. This is joint work with Dugald Macpherson.
منابع مشابه
A Unified View of Consequence Relation, Belief Revision and Conditional Logic
The notion of minimality is widely used in three different areas of Artificial Intelligence: non-monotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other for-malizations. We de...
متن کاملTame topology over dp-minimal structures
In this paper we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multi-valued f...
متن کاملImaginaries in Boolean algebras
Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...
متن کاملFurther study on $L$-fuzzy Q-convergence structures
In this paper, we discuss the equivalent conditions of pretopological and topological $L$-fuzzy Q-convergence structures and define $T_{0},~T_{1},~T_{2}$-separation axioms in $L$-fuzzy Q-convergence space. {Furthermore, $L$-ordered Q-convergence structure is introduced and its relation with $L$-fuzzy Q-convergence structure is studied in a categorical sense}.
متن کاملA monotonicity theorem for dp-minimal densely ordered groups
Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal densely ordered groups that are not weakly o-minimal. We introduce the even more general notion of inpminimality and prove that in an inp-minimal densely ordered group, every definable unary function is a union of finitel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 51 شماره
صفحات -
تاریخ انتشار 2005